Merging without Mystery or Variables in Dynamic Semantics
نویسندگان
چکیده
In this paper we discuss the treatment of variables in dynamic seman tics Referent systems are introduced as a exible mechanism for working with variables In a referent system we carefully distinguish the variables themselves both from the machinery by which we manipulate them their names and from the information that we store in them their values It is shown that the referent systems provide a natural basis for dynamic semantics The semantics with referent systems is compared with the familiar formalisms in dynamic semantics DRT and DPL Introduction to Dynamic Semantics
منابع مشابه
Merging without mystery or: Variables in dynamics semantics
In this paper we discuss the treatment of variables in dynamic semantics. Referent systems are introduced as a exible mechanism for working with variables. In a referent system we carefully distinguish the variables themselves both from the machinery by which we manipulate them|their names|and from the information that we store in them|their values. It is shown that the referent systems provide...
متن کاملDynamic Categorization of Semantics of Fashion Language: A Memetic Approach
Categories are not invariant. This paper attempts to explore the dynamic nature of semantic category, in particular, that of fashion language, based on the cognitive theory of Dawkins’ memetics, a new theory of cultural evolution. Semantic attributes of linguistic memes decrease or proliferate in replication and spreading, which involves a dynamic development of semantic category. More specific...
متن کاملMap-merging in Multi-robot Simultaneous Localization and Mapping Process Using Two Heterogeneous Ground Robots
In this article, a fast and reliable map-merging algorithm is proposed to produce a global two dimensional map of an indoor environment in a multi-robot simultaneous localization and mapping (SLAM) process. In SLAM process, to find its way in this environment, a robot should be able to determine its position relative to a map formed from its observations. To solve this complex problem, simultan...
متن کاملBelief Merging in Dynamic Logic of Propositional Assignments
We study syntactical merging operations that are defined semantically by means of the Hamming distance between valuations; more precisely, we investigate the Σ-semantics, Gmax-semantics and max-semantics. We work with a logical language containing merging operators as connectives, as opposed to the metalanguage operations of the literature. We capture these merging operators as programs of Dyna...
متن کاملRole of Kaplan’s Preference Matrix in the Assessment of Building façade, Case of Gorgan, Iran
Buildings play a key role in organization and arrangement of city appearance. Specially, their facades have profound impact on the quality of urban landscapes while playing an important role in assessing urban environments by citizens. The introduction of superior building facades in terms of popular preferences is mostly based on visual elements of building facades. Furthermore, aesthetic pref...
متن کامل